1·You arrived at your conclusion using the methods of formal logic.
你这个结论是按照形式逻辑的方法推论出来的。
—— 《新英汉大辞典》
2·Many of these researchers study evolution and natural adaptation instead of formal logic and conventional computer programs.
这些研究人员中许多都研究进化和自然适应，而不是形式逻辑和传统的计算机程序。
3·In terms of formal logic, the problems are the same.
在形式逻辑方面，问题是一样的。
4·The study of this formal logic undoubtedly has its USES.
对这种形式逻辑的研究，无疑是有用的。
5·The classical proposition logic is the basis of modern formal logic.
经典命题逻辑是现代形式逻辑的基础。
6·Formal logic is applied to proving correctness properties of programs in Chapter 8.
第八章介绍应用应用推理等价形式逻辑证明程序正确性。
7·The division criteria is the formal logic of the roof, which is perfectly meaningless.
空间划分的标准与屋顶的形式逻辑一致，但屋顶的形式却是没有意义的。
8·People can reconsider various judgments of legal issues by using rules of formal logic.
人们可以运用形式逻辑规则反思关于法律问题的种种判断。
9·Formal logic allows you to check a logical claim without considering what the claim means.
形式逻辑允许你检查合乎逻辑的索赔而没有考虑到索赔的意思。
10·It complicates exposition that 'formal' in "formal logic" is commonly used in an ambiguous manner.
它复杂化博览会是'正规'的“形式逻辑”是常用的一种模棱两可的态度。